David

Results: 76632



#Item
31Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2009-07-01 05:37:09
    32The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

    The SCION Internet Architecture An Internet Architecture for the 21st Century David Barrera, Laurent Chuat, Adrian Perrig, Raphael M. Reischuk, Pawel Szalachowski Network Security Group, ETH Zurich, Switzerland March 6,

    Add to Reading List

    Source URL: www.netsec.ethz.ch

    Language: English
    33SAFEWEB: A Middleware for Securing Ruby-based Web Applications Petr Hosek1 , Matteo Migliavacca1 , Ioannis Papagiannis1 , David M. Eyers2 , David Evans3 , Brian Shand4 , Jean Bacon3 , and Peter Pietzuch1 1

    SAFEWEB: A Middleware for Securing Ruby-based Web Applications Petr Hosek1 , Matteo Migliavacca1 , Ioannis Papagiannis1 , David M. Eyers2 , David Evans3 , Brian Shand4 , Jean Bacon3 , and Peter Pietzuch1 1

    Add to Reading List

    Source URL: srg.doc.ic.ac.uk

    Language: English - Date: 2011-12-01 05:00:04
    34The flow-performance relationship in emerging market bond funds David Leung Hong Kong Monetary Authority and Max Kwong Hong Kong Monetary Authority

    The flow-performance relationship in emerging market bond funds David Leung Hong Kong Monetary Authority and Max Kwong Hong Kong Monetary Authority

    Add to Reading List

    Source URL: www.hkimr.org

    Language: English - Date: 2018-01-25 21:40:50
    35CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  David Hartley Director  Matthew Tlachac Deputy Director  Jason Baker December 28, 2015 The Board wil

    CLARK COUNTY BOARD OF ELECTIONS Board Members  Lynda Smith, Chairperson  Ted A. McClenen  Max Cordle  David Hartley Director  Matthew Tlachac Deputy Director  Jason Baker December 28, 2015 The Board wil

    Add to Reading List

    Source URL: clark.ohioboe.com

    - Date: 2017-04-21 08:13:54
      36CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez July 3, 2016 The Board will hold a reg

      CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez July 3, 2016 The Board will hold a reg

      Add to Reading List

      Source URL: clark.ohioboe.com

      - Date: 2017-04-21 08:14:06
        37Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak (University of Cambridge)! David Fifield (UC Berkeley) Sadia Afroz (ICSI)

        Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak (University of Cambridge)! David Fifield (UC Berkeley) Sadia Afroz (ICSI)

        Add to Reading List

        Source URL: sheharbano.com

        - Date: 2017-02-16 07:59:03
          38CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez February 22, 2017 The Board will hold

          CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez February 22, 2017 The Board will hold

          Add to Reading List

          Source URL: clark.ohioboe.com

          - Date: 2017-04-21 08:13:58
            39Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

            Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

            Add to Reading List

            Source URL: qav.comlab.ox.ac.uk

            Language: English - Date: 2012-01-06 05:40:55